<?php

class JS_StringNode extends JS_Node {
	
	public function __construct($val) {
		parent::__construct($val);
	}
	
	public function __toString() {
		return '"' . substr(stripslashes($this->val), 1, strlen($this->val) - 4) . '"';
	}
	
}

?>